/*
  S.M.A.C.K - An operating system kernel
  Copyright (C) 2010,2011 Mattias Holm and Kristian Rietveld
  For licensing and a full list of authors of the kernel, see the files
  COPYING and AUTHORS.
*/

#include <console.h>
#include <serial.h>

/* On the BeagleBoard, our console will be the serial line */
void
console_init(void)
{
  serial_init();
}

void
console_putchar(char ch)
{
  uart_tx_b(ch);
}
